Models and computability / S. Barry Cooper, John K. Truss
Publication: Cambridge : University Press, 1999Description: IX, 419 p. : il. ; 23 cmISBN: 0-521-63550-0.Series: London Mathematical Society Lecture Note Series / N. J. Hitchin, 259Subject - Topical Name: Matemática computacional | Aritmética | Álgebra | TopologiaItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | COO. 519.6 (Browse shelf) | Available | 1013116 |
Total holds: 0
Invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
There are no comments for this item.